1

Mathematics and Design:Yes, But Will it Fly?

Martin Davis, Matt Insall
Journal:
Nexus Network Journal
Year:
2002
Language:
english
File:
PDF, 41 KB
english, 2002
4

Some nonstandard methods applied to distributive lattices

Mai Gehrke, Matt Insall, Klaus Kaiser
Journal:
Mathematical Logic Quarterly
Year:
1990
Language:
english
File:
PDF, 533 KB
english, 1990
5

Nonstandard Methods and Finiteness Conditions in Algebra

Matt Insall
Journal:
Mathematical Logic Quarterly
Year:
1991
Language:
english
File:
PDF, 500 KB
english, 1991
6

Metrics defined via discrepancy functions

Wlodzimierz J. Charatonik, Matt Insall
Journal:
Topology and its Applications
Year:
2007
Language:
english
File:
PDF, 141 KB
english, 2007
7

Hyperalgebraic primitive elements for relational algebraic and topological algebraic models

Matt Insall
Journal:
Studia Logica
Year:
1996
Language:
english
File:
PDF, 543 KB
english, 1996
9

Mathematical Analysis of the Complete Iterative Inversion Method II

David Grow, Matt Insall
Journal:
Differential Equations and Dynamical Systems
Year:
2010
Language:
english
File:
PDF, 252 KB
english, 2010
10

Why Does the Complete Iterative Inversion Method Work so Well?

David Grow, Matt Insall
Journal:
Differential Equations and Dynamical Systems
Year:
2013
Language:
english
File:
PDF, 217 KB
english, 2013
11

Is it more profitable to acquire cleaner or dirtier firms?

Fikru, Mahelet G., Insall, Matt
Journal:
Environmental Economics and Policy Studies
Year:
2016
Language:
english
File:
PDF, 532 KB
english, 2016
12

Hyperalgebraic Primitive Elements for Relational Algebraic and Topological Algebraic Models

Matt Insall
Journal:
Studia Logica
Year:
1996
Language:
english
File:
PDF, 1.05 MB
english, 1996
13

Constructing an Interval Temporal Logic for Real-Time System

Tsai, Grace, Insall, Matt, McMillin, Bruce
Journal:
IFAC Proceedings Volumes
Year:
1996
Language:
english
File:
PDF, 1.67 MB
english, 1996
14

Point-valued mappings of sets

Insall, Matt
Journal:
International Journal of Mathematics and Mathematical Sciences
Year:
1995
Language:
english
File:
PDF, 1.91 MB
english, 1995
15

Some finiteness conditions in lattices—using nonstandard proof methods

Insall, Matt
Journal:
Journal of the Australian Mathematical Society
Year:
1992
Language:
english
File:
PDF, 722 KB
english, 1992
16

Some Finiteness Conditions in Latticesusing Nonstandard Proof Methods

Insall, Matt
Journal:
Journal of the Australian Mathematical Society
Year:
1994
Language:
english
File:
PDF, 36 KB
english, 1994
17

Binary metrics

Assaf, Samer, Cuchta, Tom, Insall, Matt
Journal:
Topology and its Applications
Year:
2020
File:
PDF, 547 KB
2020